Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
141	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
142	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
143	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:04:48 Ada programming language Satisfiability Modulo Theories SPARK AdaCore Ada GNAT A Sharp Mathematical proof Solver Computing Software engineering Theoretical computer science
144	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
145	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
146	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
147	Tikhon Jelvis http://jelv.is http://github.com/TikhonJelvis B [removed] T[removed] Add to Reading List Source URL: jelv.is Language: English - Date: 2014-02-27 07:13:03 Functional languages Functional programming OCaml Gosu Haskell Read–eval–print loop Functional reactive programming JavaScript Satisfiability Modulo Theories Computing Software engineering Computer programming
148	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
149	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
150	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming